Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
51	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
52	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
53	Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics
54	On Odd and Even Cycles in Normal Logic Programs∗ Fangzhen Lin Xishun Zhao Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 10:24:46 Logic programming Stable model semantics Answer set programming NC First-order logic XTR Model theory Propositional calculus Logic Mathematical logic Theoretical computer science
55	Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-17 11:25:02 Knowledge Reasoning Non-classical logic Critical thinking Defeasible reasoning Stable model semantics Argumentation theory Answer set programming Defeasible logic Logic programming Logic Science
56	A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming James P. Delgrande, Torsten Grote, and Aaron Hunter School of Computing Science, Simon Fraser University, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:50:51 Information Needham–Schroeder protocol Cryptographic nonce Challenge-response authentication Burrows–Abadi–Needham logic Communications protocol Public-key cryptography Transmission Control Protocol Otway–Rees protocol Cryptographic protocols Data Cryptography
57	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
58	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
59	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
60	Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains Enrico Pontelli1 , Tran Cao Son1 , Chitta Baral2 , and Gregory Gelfond2 1 2 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 19:12:31 Symbol Model theory